Verification and Validation of ITER Interlock System Fast Architecture According to IEC 61508 Standard
نویسندگان
چکیده
The ITER Interlock Control System (ICS) requires the application of IEC 61508 standard for all mission-critical (known as investment protection) control functions. Such functions must detect events integrated physical processes and distribute them to actuators with hard real-time constraints on order milliseconds or even microseconds. Systems able achieve these timing requirements are often bespoke FPGA-based solutions, which a well-known challenge processes. However, minimize variety components simplify procurement process an international supplier base, decided standardize use Commercial Off-The-Shelf (COTS) devices. COTS selected ICS was CompactRIO NI 9159 chassis (and several adapter I/O modules), provided by National Instruments (NI). This high-level language (LabVIEW-FPGA) associated development tools develop FPGA functionality. Therefore, it is necessary ensure required assurance that device sufficient quality, fit purpose, can be properly into protection loop level systematic capability during process. paper describes in detail method uses perform verification validation according recommendations, logic configuration generated LabVIEW-FPGA COTS, after compilation sources designed development.
منابع مشابه
A Verification and Validation Workflow for IEC 61508 Applications
Because of its ability to address software complexity and productivity challenges, Model-Based Design with production code generation has been extensively used throughout the automotive software engineering community. More recently, engineers have begun to focus on compliance with external standards such as IEC 61508 and the use of Model-Based Design. For in-vehicle applications, the standard a...
متن کاملIntroduction to IEC 61508
Over the past 25 years there have been a number of initiatives worldwide to develop guidelines and standards to enable the safe exploitation of programmable electronic systems used for safety applications. In the context of industrial applications (to distinguish from aerospace and military applications) a major initiative has been focussed on IEC 61508 and this standard is emerging as a key in...
متن کاملThe Application of SafeScrum to IEC 61508
type checking. Together these stages are often referred to as the 'compiler front-end'. Simulink Code Inspector combines a C compiler frontend with an equivalent process that starts from an executable model. If the source code is structurally equivalent to the model, the two intermediate representations will match exactly and the tool can give a pass I fail indication to replace the manual revi...
متن کاملIEC - 61508 : Safe Plant Design
Safety Integrity Levels as defined by IEC 61508 provide the plant designer with the opportunity to optimise the design of protection system against potential hazards based on knowledge of the consequences of failure. This paper details the reasons behind the development of the standard, and describes the techniques that can be used for integrity level evaluation. A case study is then presented ...
متن کاملIntroduction and Revision of IEC 61508
Over the past twenty-five years there have been a number of initiatives worldwide to develop guidelines and standards to enable the safe exploitation of programmable electronic systems used for safety applications. In the context of industrial applications (to distinguish from aerospace and military applications) a major initiative has been focused on IEC 61508, and other standards based on IEC...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Nuclear Science
سال: 2023
ISSN: ['0018-9499', '1558-1578']
DOI: https://doi.org/10.1109/tns.2022.3224780